A Language for Specifying Java Transformations
نویسندگان
چکیده
In this paper we present JaTS, a language for specifying transformations for Java programs. The main feature of the language is the similarity of its syntax to the syntax of Java, decreasing the semantic gap between the transformation language and the language being transformed. This feature helps developers already used to the syntax of Java to quickly adapt to the syntax of JaTS. We begin by presenting the syntax and informal semantics of JaTS, specifying some key aspects of the semantics formally. Next, we evaluate the expressive power of the language, comparing it with other languages for specifying program transformations.
منابع مشابه
Controlling Reuse in Pattern-Based Model-to-Model Transformations
Model-to-model transformation is a central activity inModelDriven Engineering that consists of transforming models from a source to a target language. Pattern-based model-to-model transformation is our approach for specifying transformations in a declarative, relational and formal style. The approach relies on patterns describing allowed or forbidden relations between two models. These patterns...
متن کاملGeneric Model Refactorings
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritance. However, model transformations such as refactorings specified for a given language cannot be readily reused for another language because their related metamodels may be structurally different. Our aim is to enable...
متن کاملModel-driven Modernisation of Java Programs with JaMoPP
The history of all programming languages exposes the introduction of new language features. In the case of Java— a widespread general purpose language—multiple language extensions were applied over the last years and new ones are planned for the future. Often, such language extensions provide means to replace complex constructs with more compact ones. To benefit from new language extensions for...
متن کاملA dynamic, portable and safe approach to byte-code transformation
A powerful feature of the Java programming language is its user-definable class loading policy, which when combined with the namespace independence between class loaders, allows portable implementation of semidynamic program transformations. Such transformations can be used for a range of purposes, including optimization and semantic extension. In this paper we present a framework for semantic ...
متن کاملLeveraging UML Profiles to Generate Plugins From Visual Model Transformations
Model transformation is a fundamental technology in the MDA. Therefore, model transformations should be treated as first class entities, that is, models. One could use the metamodel of SDM, a graph based object transformation language, as the metamodel of such transformation models. However, there are two problems associated with this. First, SDM has a non-standardized metamodel, meaning a spec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001